#include <stdio.h>

int main(void)
{
    int i = 3;
    while(i <= 9)
        printf("%d\t", i++);
    puts("");

}
